model-theoretic semantics

Finally, the article brings forward the semantics-based Water Information Translation Model, and then evaluates its system, and the result shows the degree of automation is improved.

由此提出了基于语义的水情电报翻译模型，并对系统作了评价与分析，结果表明提高了翻译率及自动化程度。

JSP and JSD, often taught in university software design courses, had a fairly rich notation and accompanying semantics for constructing a system model.

JSP和JSD，经常在大学软件设计课程中教授，有相当丰富的记号，并伴随着构造一个系统模型的语义学。

This model can help to realize semantics-based query. It can detect and mediate the common semantic inconsistencies, and provides users with semantically consistent view of query results.

该模型能够实现基于语义的查询，能够检测和调解常见的语义不一致，能够提供给用户语义一致的查询结果信息视图。

In order to solve problems of reuse difficulty and low management efficiency of resource base system, a resource-base system model was proposed based on hierarchy semantics network.

为了解决资源库系统内容重用难及管理效率低的问题，采用分层语义网络结构提出了一种提高资源关联性及利用率的资源库系统模型。

A Model-Theoretic Semantics for XML

一种XML的模型论语义

Different dimension constraint modes are de tailed. Third, a generic mathematical model of size tolerance is deduced based on mathematical definition systematically which can interpret the semantics of size tolerance exactly and completely.

从公差的数学定义出发，系统地推导了广义的尺寸公差数学模型，准确完整地表示出了尺寸公差的语义。